Independently Axiomatizable Lω1,ω Theories
نویسندگان
چکیده
In partial answer to a question posed by Arnie Miller [5] and X. Caicedo [2] we obtain sufficient conditions for an Lω1,ω theory to have an independent axiomatization. As a consequence we obtain two corollaries: If Vaught’s conjecture holds, then every Lω1,ω theory in a countable language has an independent axiomatization; every intersection of a family of Borel sets can be formed as the intersection of a family of independent Borel sets.
منابع مشابه
Properly Ergodic Structures
We study ergodic Sym(N)-invariant probability measures on the space of L-structures with domain N. We call such measures “ergodic structures”. In particular, we are interested in the properly ergodic case, in which no isomorphism class has measure 1. A Morley–Scott analysis shows that proper ergodicity can always be explained by a splitting of measure over continuum-many types in a countable fr...
متن کاملFinitely axiomatizable strongly minimal groups
We show that if G is a strongly minimal finitely axiomatizable group, the division ring of quasi-endomorphisms of G must be an infinite finitely presented ring. Questions about finite axiomatizability of first order theories are nearly as old as model theory itself and seem at first glance to have a fairly syntactical flavor. But it was in order to show that totally categorical theories cannot ...
متن کاملCountable Infinitary Theories Admitting an Invariant Measure
Let L be a countable language. We characterize, in terms of definable closure, those countable theories Σ of Lω1,ω(L) for which there exists an S∞-invariant probability measure on the collection of models of Σ with underlying set N. Restricting to Lω,ω(L), this answers an open question of Gaifman from 1964, via a translation between S∞-invariant measures and Gaifman’s symmetric measure-models w...
متن کاملCategoricity may fail late
We build an example that generalizes [HS90] to uncountable cases. In particular, our example yields a sentence ψ ∈ L(2λ)+,ω that is categorical in λ, λ, . . . , λ but not in ik+1(λ) . This is connected with the Loś Conjecture and with Shelah’s own conjecture and construction of excellent classes for the ψ ∈ Lω1,ω case. 1 The Loś Conjecture, without excellence Early results on the Categoricity S...
متن کاملUniquely undefinable elements ∗ Greg
There exists a model in a countable language having a unique element which is not definable in Lω1,ω. We answer problem 10.12 from the updated version of Arnie Miller’s problem list, [3]. Definition For a structure M and a ∈ M, we say that a is definable over Lω1,ω if there is a formul ψ ∈ Lω1,ω such that for all b ∈ M a = b ⇔ M |= ψ(b). Theorem 0.1 There is a countable language L and a model M...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008